Transformation theory - PDFSEARCH.IO - Document Search Engine

Transformation theory
Results: 665

#	Item
61	Coproducts for Permutation Groups, Transformation Semigroups, Automata and Related Categories Chrystopher L. Nehaniv joint work with Fariba Karimi Woflson Royal Society Biocomputation Laboratory Add to Reading List Source URL: www.maths.dur.ac.uk Language: English - Date: 2015-09-09 07:05:29 Semigroup theory Algebraic structures Category theory Transformation semigroup Semigroup Coproduct Monoid Inverse element Permutation group Group action Product KrohnRhodes theory
62	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
63	REVIEW SHEET FOR MIDTERM 2: BASIC MATH 196, SECTION 57 (VIPUL NAIK) We will not be going over this sheet, but rather, we’ll be going over the advanced review sheet in the session. Please review this sheet on your own t Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Linear algebra Matrices Matrix theory Abstract algebra Transformation Linear map Matrix Rank Square matrix Kernel Row and column spaces Determinant
64	A TWISTED BASS-HELLER-SWAN DECOMPOSITION FOR THE ALGEBRAIC K-THEORY OF ADDITIVE CATEGORIES arXiv:1309.1353v2 [math.KT] 1 Jun 2015 ¨ Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2015-12-05 10:49:26 Additive categories Category theory Functors Adjoint functors Homological algebra Universal property Coproduct Preadditive category Sheaf Natural transformation Isomorphism of categories Equivalence of categories
65	Robust Estimation of Nonrigid Transformation for Point Set Registration Jiayi Ma1,2 , Ji Zhao3 , Jinwen Tian1 , Zhuowen Tu4 , and Alan L. Yuille2 1 Huazhong University of Science and Technology, 2 Department of Statistic Add to Reading List Source URL: pages.ucsd.edu Language: English - Date: 2013-04-18 12:34:39 Computer vision Estimation theory Statistical theory Robust statistics Regression analysis Image registration Point set registration Shape context Outlier Maximum likelihood estimation Conference on Computer Vision and Pattern Recognition Linear regression
66	Transformation and Analysis of Haskell Source Code λ ⊥ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Higher-order functions Programming language comparisons Data types Functional programming Generalized algebraic data type Type theory Map Haskell Fold Yhc Hugs Conditional
67	297 Documenta Math. Spectral Analysis of Relativistic Atoms – Dirac Operators with Singular Potentials Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-08-22 05:27:19 Greek letters Fermions FoldyWouthuysen transformation Quantum field theory Theta
68	Service Transformation First name Surname Add to Reading List Source URL: www.libraryservices.nhs.uk Language: English - Date: 2015-09-23 07:45:35 LSE Software engineering Computer programming Programming language theory
69	Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]: Add to Reading List Source URL: www.wolframfoundation.org Language: English - Date: 2015-12-15 12:07:17 General topology Mathematics ACL2 Lisp Compact space Automated theorem proving Software Mathematical logic Model theory
70	Derived functors in group theory and homotopy theory Roman Mikhailov (St. Petersburg State University) Every two-sided ideal a in the integral group ringZ[G] of a group G determines a normal subgroup F ∩ (1 + a) of G, Add to Reading List Source URL: www.7ecm.de Language: English - Date: 2016-06-10 05:01:15 Algebra Mathematics Abstract algebra Homotopy theory Functors Homological algebra Inder Bir Singh Passi Homotopy group Derived functor Homology Normal subgroup Natural transformation

UPDATE